Causal Analysis for Performance Modeling of Computer Programs
نویسندگان
چکیده
منابع مشابه
Learning Causal Models of Multivariate Systems and the Value of it for the Performance Modeling of Computer Programs
The work presented in this thesis a philosophical, theoretical and practical exploration of causal inference and its benefits for performance modeling consists of four parts. First, the theory of graphical causal models is studied in the perspective of the Kolmogorov Minimal Sufficient Statistic (KMSS), according to which inductive inference should be equated to discovering and modeling the reg...
متن کاملCausal Dataflow Analysis for Concurrent Programs
We define a novel formulation of dataflow analysis for concurrent programs, where the flow of facts is along the causal dependencies of events. We capture the control flow of concurrent programs using a Petri net (called the control net), develop algorithms based on partiallyordered unfoldings, and report experimental results for solving causal dataflow analysis problems. For the subclass of di...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولModeling earthquakes via computer programs
Interim Reports on work of the International Institute for Applied Systems Analysis receive only limited review. Views or opinions expressed herein do not necessarily represent those of the Institute, its National Member Organizations, or other organizations supporting the work. Abstract Modeling earthquakes plays an important role in investigation of different aspects of seismic risk. The pape...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2007
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2007/916861